Skip to content
Navigation menu
Search
Powered by
Search
Algolia
Search
Log in
Create account
Forem
Close
#
agda
Follow
Hide
Posts
Left menu
👋
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Rovnostní typy a negace typů
Betelgeuse
Betelgeuse
Betelgeuse
Follow
Feb 23 '22
Rovnostní typy a negace typů
#
agda
#
coq
#
idris
5
reactions
Comments
Add Comment
2 min read
Prolegomena k úvodu do základů závislostních typů
Betelgeuse
Betelgeuse
Betelgeuse
Follow
Feb 21 '22
Prolegomena k úvodu do základů závislostních typů
#
agda
#
coq
#
idris
6
reactions
Comments
1
comment
3 min read
Installing Agda using Stack
Masaki Haga
Masaki Haga
Masaki Haga
Follow
Mar 25 '20
Installing Agda using Stack
#
agda
#
stack
#
emacs
#
haskell
9
reactions
Comments
Add Comment
1 min read
loading...
We're a blogging-forward open source social network where we learn from one another
Log in
Create account
