サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
●はてなブックマークって？
●アプリ・拡張の紹介
●ユーザー登録
●ログイン
●ログアウト
theatrical
id:theatrical
●
37,968
ブックマーク
●
-
お気に入り
●
-
お気に入られ
タグ
●すべて
●
.net
(7)
●
2013
(1)
●
2014
(2)
●
2048
(11)
●
3d
(2)
●
3d-printer
(1)
●
404
(3)
●
8086
(1)
●
ATS
(2)
●
Algorithms
(26)
●
AngularJS2
(1)
●
ApplicativeFunctor
(1)
●
Bar
(1)
●
CURATOR
(1)
●
Chart
(1)
●
Coeur-de-pirate
(1)
●
DIY
(1)
●
DeepLearning
(1)
●
EMML
(1)
●
EMOML
(1)
●
ElasticSearch
(2)
●
EmotionML
(1)
●
FStart
(1)
●
Factor
(1)
●
FizzBuzz
(1)
●
FreeBSD
(1)
●
Google Spreadsheets
(1)
●
HoloLens
(1)
●
IPA
(1)
●
LinearAlgebra
(1)
●
Literature
(1)
●
Logo
(1)
●
MQ(1)
●
Maître-Gims
(3)
●
Profiler
(1)
●
RabbitMQ
(1)
●
Rank-NTypes
(2)
●
Spreadsheets
(1)
●
TOOL
(1)
●
TypeScript
(5)
●
Virus
(1)
●
VisualStudio
(2)
●
WebGL
(2)
●
a-b-test
(1)
●
a-video
(1)
●
aar
(1)
●
adnroid
(1)
●
adt
(1)
●
aes
(1)
●
agda
(3)
●
agile
(3)
●
ai(8)
●
airmail
(1)
●
ajax
(1)
●
ajhc
(1)
●
akka
(6)
●
alcohol
(3)
●
algbraice-graph-theory
(1)
●
algebra
(9)
●
algebraic-geometry
(1)
●
algorithm
(1)
●
algoritm
(1)
●
alloy
(2)
●
alstjs
(1)
●
altjs
(19)
●
amazing
(1)
●
amino
(1)
●
amir
(1)
●
analysis
(1)
●
android
(10)
●
android-amazing-app
(1)
●
android-app
(1)
●
android-devs
(2)
●
angularjs
(5)
●
animation
(3)
●
anki
(3)
●
apache-spark
(1)
●
api
(13)
●
api-design
(1)
●
app
(2)
●
app_iphone
(1)
●
apple
(1)
●
apps
(2)
●
arc
(2)
●
architecture
(5)
●
archive-file
(1)
●
arduino
(1)
●
arel
(1)
●
arm
(1)
●
array
(2)
●
array-like
(1)
●
artificial-brain
(1)
●
artificial-intelligence
(4)
●
assembler
(2)
●
assembly
(3)
●
ast
(1)
●
async
(11)
●
atletico
(1)
●
atom
(4)
●
atscript
(1)
●
atslang
(3)
●
audio
(1)
●
auth-proxy
(1)
●
author-inteview
(5)
●
awk
(1)
●
aws
(3)
●
azure
(2)
●
bash
(7)
●
bayes
(2)
●
bays
(1)
●
bazqux
(1)
●
bdd
(2)
●
beaf
(1)
●
beat-alanine
(1)
●
beef
(1)
●
belath-kit
(1)
●
benchmark
(2)
●
big-data
(3)
●
bigdata
(4)
●
bigquery
(1)
●
binary
(1)
●
bing
(1)
●
bio
(1)
●
bio-authnetication
(1)
●
bit
(1)
●
bitcoin
(2)
●
biztalk
(1)
●
blog
(1)
●
blues
(2)
●
bluestooth
(1)
●
body-maintanance
(2)
●
book
(18)
●
booklist
(3)
●
bookshelf
(8)
●
bootstrap
(3)
●
c#
(32)
●
c++
(21)
●
c++14
(2)
●
cabal
(5)
●
canvas
(4)
●
category-theory
(19)
●
cateory-theory
(2)
●
chelsea
(5)
●
cl(5)
●
clang
(3)
●
clojure
(53)
●
clojurescript
(10)
●
clos
(2)
●
cloud
(8)
●
code-reading
(5)
●
coffee
(4)
●
coffeescript
(2)
●
color
(3)
●
com
(2)
●
command-line
(4)
●
common-lisp
(13)
●
compare
(3)
●
compiler
(2)
●
computer-science
(11)
●
computer-vision
(4)
●
concurrency
(11)
●
continuation
(3)
●
cooking
(5)
●
coq
(14)
●
cpu
(2)
●
cryengine
(2)
●
css
(26)
●
css-preprocessor
(2)
●
d-lang
(2)
●
d3
(6)
●
dart
(9)
●
data
(11)
●
data-constructor
(3)
●
data-science
(7)
●
data-sicence
(4)
●
data-type
(2)
●
db(5)
●
debug
(2)
●
deep-learning
(8)
●
dependecy-type
(3)
●
design
(15)
●
dlang
(7)
●
docker
(5)
●
dom
(2)
●
domain-theory
(2)
●
dotnet
(16)
●
dsl
(4)
●
ebook
(6)
●
eclipse
(3)
●
editor-war
(6)
●
effel
(2)
●
elixir
(31)
●
elm
(4)
●
emacs
(9)
●
embeded
(3)
●
entropay
(2)
●
erlang
(20)
●
error-processing
(3)
●
event-driven
(2)
●
example
(5)
●
excel
(11)
●
f#
(35)
●
f*
(3)
●
face-detect
(2)
●
facebook
(2)
●
fay
(3)
●
ffi
(6)
●
finance
(11)
●
financial-programming
(5)
●
firefox-os
(2)
●
fitness
(7)
●
font
(6)
●
food
(4)
●
football
(5)
●
fp(2)
●
fpga
(4)
●
free-monad
(2)
●
free_book
(2)
●
french
(8)
●
french-videos
(2)
●
frp
(4)
●
fstar
(4)
●
functional
(20)
●
functional-reactive
(2)
●
game
(4)
●
game-engine
(3)
●
game-programming
(22)
●
gce
(2)
●
gem
(2)
●
generator
(3)
●
ghc
(11)
●
ghc-extension
(4)
●
ghci
(2)
●
ghcjs
(2)
●
git
(6)
●
github
(7)
●
goalng
(2)
●
golang
(42)
●
google
(2)
●
google-glass
(2)
●
gpgpu
(4)
●
gpu
(3)
●
graph-theory
(4)
●
graphics
(3)
●
group-theory
(3)
●
gui
(14)
●
hacklang
(2)
●
hair-salon
(5)
●
hair-style
(2)
●
hakell
(3)
●
hardware
(7)
●
harmony
(2)
●
hasekll
(11)
●
hasell
(2)
●
haskel
(2)
●
haskell
(321)
●
haskell-data-analysis-cookbook
(11)
●
haste
(2)
●
haxe
(3)
●
health
(7)
●
heroku
(2)
●
hg(2)
●
hibernate
(3)
●
hmd
(2)
●
html
(14)
●
html5
(14)
●
ide
(4)
●
idris
(5)
●
igo
(2)
●
infographic
(2)
●
intellij
(4)
●
ios
(9)
●
iot
(6)
●
java
(28)
●
java8
(4)
●
javascript
(93)
●
joke
(2)
●
jose-mourinho
(2)
●
jquery
(2)
●
js(3)
●
json
(8)
●
julia
(7)
●
jvm
(13)
●
knot-theory
(3)
●
koka
(2)
●
kotlin
(5)
●
lambda-calculus
(2)
●
language
(2)
●
latex
(4)
●
leadership
(3)
●
learning-resouces
(3)
●
lens
(2)
●
library
(26)
●
liner-algebra
(2)
●
linq
(3)
●
linux
(3)
●
lisp
(32)
●
lisp-dialects
(5)
●
list
(2)
●
livescript
(2)
●
llvm
(3)
●
log
(2)
●
lua
(4)
●
mac
(8)
●
mac-app
(4)
●
machine-learning
(16)
●
macro
(2)
●
markdown
(4)
●
martial-arts
(3)
●
math
(113)
●
memory
(3)
●
mercurial
(6)
●
meta-programming
(2)
●
mexico
(2)
●
microdata
(2)
●
ml(2)
●
ml-like
(5)
●
modeling
(2)
●
monad
(8)
●
mongodb
(2)
●
motivation-control
(3)
●
ms(10)
●
multi-platform
(3)
●
music
(2)
●
music-video
(22)
●
mvc
(2)
●
nas
(3)
●
natural-lang
(4)
●
neovim
(2)
●
network
(2)
●
neural-network
(2)
●
news
(3)
●
nlp
(3)
●
node
(9)
●
nosql
(4)
●
nutrient
(2)
●
object-oriented
(3)
●
ocaml
(52)
●
openCV
(3)
●
openfl
(2)
●
or-mapper
(2)
●
os(3)
●
oss
(5)
●
osx
(3)
●
p-lang
(5)
●
p_lang
(5)
●
packages
(2)
●
paper
(4)
●
parallel
(18)
●
parsec
(3)
●
parser
(14)
●
pdf
(6)
●
peg
(4)
●
penetration-test
(4)
●
perfomance-tuning
(16)
●
performance-tuning
(2)
●
perl
(2)
●
perl6
(3)
●
php
(7)
●
physical-training
(2)
●
physics
(2)
●
plugin
(3)
●
pomme
(3)
●
postgres
(3)
●
powershell
(8)
●
programming
(6)
●
programming-language
(4)
●
programming-paradigm
(3)
●
promise
(3)
●
pronunciation
(2)
●
proof
(6)
●
protein
(4)
●
proxy
(2)
●
psg
(4)
●
purescirpt
(3)
●
purescript
(8)
●
puzzle
(11)
●
python
(24)
●
quickcheck
(3)
●
r(5)
●
racket
(8)
●
rails
(2)
●
react
(4)
●
reactive
(7)
●
real-madrid
(2)
●
recipe
(4)
●
recommend-system
(2)
●
reddit
(4)
●
redis
(2)
●
refactoring
(2)
●
reference
(9)
●
regex
(4)
●
relational-theory
(2)
●
riemann-hypothesis
(2)
●
rlang
(3)
●
ruby
(32)
●
running
(5)
●
running-course
(3)
●
rust
(32)
●
scala
(78)
●
scalafx
(3)
●
scalaz
(4)
●
schema
(2)
●
scheme
(16)
●
science
(5)
●
search-engine
(2)
●
security
(13)
●
server
(2)
●
server-less-architecture
(2)
●
settings
(2)
●
shell
(4)
●
sicp
(5)
●
sleep
(2)
●
smart-phone
(2)
●
software-design
(2)
●
spark
(2)
●
spec
(5)
●
sql
(14)
●
sqlite
(3)
●
statistics
(29)
●
storage
(2)
●
streaming
(3)
●
svg
(4)
●
swift
(12)
●
system-trade
(2)
●
tdd
(2)
●
team-management
(2)
●
test
(27)
●
text-processing
(2)
●
tmux
(2)
●
trading
(2)
●
tutorial
(2)
●
type
(2)
●
type-class
(3)
●
type-oriented
(2)
●
type-theory
(7)
●
type-thoery
(2)
●
ui(8)
●
unity
(6)
●
user-defined-type
(2)
●
ux(9)
●
vala
(2)
●
vba
(3)
●
video
(19)
●
viewr
(2)
●
vim
(29)
●
visa
(2)
●
visualization
(15)
●
waf
(7)
●
warning
(2)
●
web
(11)
●
web-app
(2)
●
web-design
(16)
●
web-manga
(2)
●
web-programming
(2)
●
web_design
(3)
●
webassembly
(6)
●
why-some-theory-is-intresting
(2)
●
win8
(3)
●
windows
(5)
●
wireless
(3)
●
wish-bookshelf
(78)
●
wish-food
(2)
●
wish-list
(2)
●
wish-place
(2)
●
wish-salon
(2)
●
wishlist
(57)
●
x86
(2)
●
xml
(3)
●
zed
(2)
●
zsh
(2)
●
あとで
(2)
●
あとで読む
(1)
●
いつか行く
(3)
●
ねこ
(2)
●
また見る
(7)
●
アト読み
(4)
●
オーダーシャツ
(2)
●
オーダースーツ
(4)
●
グルメ
(2)
●
タイトル変更
(2)
●
タイトル変更しました
(12)
●
パンケーキ
(2)
●
マドリー
(4)
●
レシピ
(2)
●
外食
(2)
●
後でみる
(2)
●
haskell
(321)
●
math
(113)
●
javascript
(93)
●
scala
(78)
●
wish-bookshelf
(78)
●
wishlist
(57)
●
clojure
(53)
●
ocaml
(52)
●
golang
(42)
●
f#
(35)
関連タグで絞り込む (14)
●
agda
●
dependecy-type
●
Elixir
●
Elm
●
Factor
●
haskell
●
Idris
●
Julia
●
Lua
●
miiKare
●
scala
●
server-less-architecture
●
type-theory
●
wish-bookshelf
タグの絞り込みを解除
idrisに関するtheatricalのブックマーク (5)
●
3 users
●
www.idris-lang.org
●テクノロジー
A new version of Idris, 0.9.15.1, has been released. You can find this on hackage, or from the download page. The tutorial has also been updated. Thanks as always to everyone who has contributed, either with code, documentation or by testing and reporting issues. You can find the names of all contributors in the CONTRIBUTORS file in the source repository. Idris is still research software, so we ex
theatrical
2014/10/27
●haskell
●idris
●
1 user
●
github.com/idris-lang
●テクノロジー
theatrical
2014/10/27
●idris
●
3 users
●
typetheorypodcast.com
●テクノロジー
In our second episode, we speak with Edwin Brady from the University of St. Andrews. Since 2008, Edwin has been working on Idris, a functional programming language with dependent types. This episode is very much about programming: we discuss the language Idris, its history, its implementation strategies, and plans for the future. Reading: Inductive Families Need Not Store Their Indices by Edwin Br
theatrical
2014/09/26
●idris
●type-theory
●
1 user
●
brianmckenna.org
●テクノロジー
theatrical
2014/08/28
●agda
●haskell
●scala
●idris
●dependecy-type
●
69 users
●
pragprog.com
●テクノロジー
Releases, Offers & More Be the first to hear about our newest content, best promotions and upcoming events. Plus get 25% off your next purchase. Newsletter Sign Up Download Accounts Your email address is your account identifier. You can create a password, or just download from the links sent via email. My Orders (Resend order emails) How We're Different Hands-on instructions Solutions to real-worl
theatrical
2013/08/22
1
お知らせ
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第2週︶
お知らせ
はてなブックマーク透明性レポート︵2024年2月-2024年4月︶
ランキング
今週のはてなブックマーク数ランキング︵2024年7月第1週︶
もっと読む
公式Twitter
●@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
●@hatebu
最新の人気エントリーの配信
処理を実行中です
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
●総合
●一般
●世の中
●政治と経済
●暮らし
●学び
●テクノロジー
●エンタメ
●アニメとゲーム
●おもしろ
●アプリ・拡張機能
●開発ブログ
●ヘルプ
●お問い合わせ
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●ガイドライン
●利用規約
●プライバシーポリシー
●利用者情報の外部送信について
●公式アカウント
●ホットエントリー
●はてなブログ
●はてなブログPro
●人力検索はてな
●はてなブログ タグ
●はてなニュース
●ソレドコ
Copyright © 2005-2024 Hatena. All Rights Reserved.
設定を変更しましたx
Idris 0.9.15.1 released | Idris
Create new page · idris-lang/Idris-dev Wiki
Episode 2: Edwin Brady on Idris
EvenOdd in Agda, Idris, Haskell, Scala - BAM Weblog
Search