Skip to content
Search Gists
Search Gists
All gists
Back to GitHub
Sign in
Sign up
Sign in
Sign up
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Instantly share code, notes, and snippets.
wilbowma
/
guarded-stlc.agda
Created
December 8, 2023 23:01
Show Gist options
Download ZIP
Star
2
(
2
)
You must be signed in to star a gist
Fork
0
(
0
)
You must be signed in to fork a gist
Embed
Select an option
Embed
Embed this gist in your website.
Share
Copy sharable link for this gist.
Clone via HTTPS
Clone using the web URL.
No results found
Clone this repository at <script src="https://gist.github.com/wilbowma/3e90ecf15f0e448898aaee64e127ce7b.js"></script>
Save wilbowma/3e90ecf15f0e448898aaee64e127ce7b to your computer and use it in GitHub Desktop.
Code
Revisions
1
Stars
2
Embed
Select an option
Embed
Embed this gist in your website.
Share
Copy sharable link for this gist.
Clone via HTTPS
Clone using the web URL.
No results found
Clone this repository at <script src="https://gist.github.com/wilbowma/3e90ecf15f0e448898aaee64e127ce7b.js"></script>
Save wilbowma/3e90ecf15f0e448898aaee64e127ce7b to your computer and use it in GitHub Desktop.
Download ZIP
Stargazers
All
2
brendanzab
Works for @yeslogic
@yeslogic
Follow
AndrasKovacs
Joined on Jun 23, 2012
Follow
You can’t perform that action at this time.
