 Jesper Cockx
|
381c7cd630
[ doc ] Distribute the contents of "quick guide to Agda" over "a taste of Agda" and "emacs mode" pages
|
3 роки тому |
|
Jesper Cockx
|
4dfd4d46b3
[ doc ] Add note to 'hello world' page linking to version that uses std-lib
|
4 роки тому |
|
Jesper Cockx
|
89590db80b
[ doc ] Use standalone "Hello, world" program
|
4 роки тому |
|
Jesper Cockx
|
b429d06247
[ doc ] Add "Hello, Agda!" example before current "Hello, World" example
|
4 роки тому |
|
Jesper Cockx
|
ca17901232
[ doc ] Move tutorial material to new section "A taste of Agda"; restore original "Hello, world"
|
4 роки тому |
 herminie
|
2b3c305cf3
change URL Visual Studio Marketplace
|
4 роки тому |
|
herminie
|
fcbea70d63
fix warning title underline too short
|
4 роки тому |
|
herminie
|
c3dd757bfe
move warning about ieee to tools/compilers
|
4 роки тому |
|
herminie
|
210d028a52
change append for cons
|
4 роки тому |
|
herminie
|
77b1ff6057
add emacs
|
4 роки тому |
|
herminie
|
43b1162ee8
fix imported library
|
4 роки тому |
|
herminie
|
6d1f4cf795
+assoc → +-Assoc
|
4 роки тому |
|
herminie
|
3cc246e7c6
typo and state
|
4 роки тому |
|
herminie
|
1d1155d823
fix top-level description
|
4 роки тому |
|
herminie
|
7dd1bb6ce8
add `lookup` function
|
4 роки тому |
|
herminie
|
75a2bd1a40
rewrite vector, editors
|
4 роки тому |
|
herminie
|
991cd8020d
move hint modules
|
4 роки тому |
|
herminie
|
a5ddd6f81e
add termination checking explanation
|
4 роки тому |
|
herminie
|
91a439b897
fix explain computation steps
|
4 роки тому |
|
herminie
|
d96256153d
fix explanation definitional vs propositional equality
|
4 роки тому |
|
herminie
|
e49cd08e80
fix typo
|
4 роки тому |
|
herminie
|
5ffe1bcc6d
enunciation → statement
|
4 роки тому |
|
herminie
|
5e883e7f03
strictly positive number of spaces
|
4 роки тому |
|
herminie
|
ba6a68f806
clarify module header
|
4 роки тому |
|
herminie
|
ac9e1cb42e
fix Nat
|
4 роки тому |
|
herminie
|
7b6a5b7b28
add cabal install ieee754
|
4 роки тому |
|
herminie
|
15697f2fa2
add where to go from here
|
4 роки тому |
|
herminie
|
dba69378a1
remark compatible version stdlib
|
4 роки тому |
|
herminie
|
bddd86e3ec
add warning ieee754 haskell library
|
4 роки тому |
|
herminie
|
089b085510
revamp 'Hello world' in Agda
|
4 роки тому |
