Article URL: https://plfa.github.io/
Comments URL: https://news.ycombinator.com/item?id=50144976
Points: 2
# Comments: 1
Open Source
Programming Language Foundations in Agda
Hacker News New0 views
Source：https://plfa.github.io/
PreviousDeus Ex in the BrowserNextA 'Ludicrously Ugly' Bridge Is Exhibit a That Britain Has Lost Its Mojo
Related posts
Show HN: Open Bot Avatars – a spec and renderer for interactive bot avatars
0Hacker News New
Show HN: Elections Archive: every election in the US, citable and open source
0Hacker News New
Show HN: Relaynet – open-source relay that gives browser tabs a real network
0Hacker News Show
My uninstaller refuses to delete anything it can't prove belongs to the app. Poke holes in my safety rules
0dev.to C#
让 AI 编程助手少返工：10 条命令规则合集（免费读）
0dev.to OpenSource
Discovering contemporaneous and lagged causal relations in autocorrelated nonlinear time series datasets
0arXiv stat.ML