Jesper Cockx's Blog jesper.sikanda.be
Mijn uitdaging voor jou in 2021: Doe zoveel goed als je kan
jesper.sikanda.be·282w
An introduction to property-based testing with QuickCheck
jesper.sikanda.be·283w·Lobsters, Hacker News
NWO Veni Grant on A Trustworthy and Extensible Core Language for Agda
jesper.sikanda.be·288w
Announcement: I'm moving to Delft!
jesper.sikanda.be·340w
Rewriting type theory
jesper.sikanda.be·342w
Hack your type theory with rewrite rules
jesper.sikanda.be·343w
Formalize all the things (in Agda)
jesper.sikanda.be·345w
EUTYPES '19 Summer School in Ohrid
jesper.sikanda.be·348w
Writing Agda blog posts in literate markdown
jesper.sikanda.be·358w
Elaborating Dependent (Co)pattern Matching
jesper.sikanda.be·399w
The Agda's New Sorts
jesper.sikanda.be·420w

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help