Ctrl K

Software Projects Organisations Communities News

Ctrl K

.css-1e132ge{font-family:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,'Helvetica Neue',Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-weight:400;font-size:0.875rem;line-height:1.43;background-color:transparent;display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;padding:6px 16px;color:rgb(96, 54, 20);background-color:rgb(253, 243, 234);width:100vw;-webkit-box-pack:center;-ms-flex-pack:center;-webkit-justify-content:center;justify-content:center;margin-top:1rem;z-index:9;}.css-1e132ge .MuiAlert-icon{color:#ed6c02;}.css-1pl9tfm{background-color:#fff;color:rgba(34,36,37,1);-webkit-transition:box-shadow 300ms cubic-bezier(0.4, 0, 0.2, 1) 0ms;transition:box-shadow 300ms cubic-bezier(0.4, 0, 0.2, 1) 0ms;border-radius:2px;box-shadow:var(--Paper-shadow);background-image:var(--Paper-overlay);overflow:auto;font-family:-apple-system,BlinkMacSystemFont,'Segoe UI',Roboto,'Helvetica Neue',Arial,sans-serif,'Apple Color Emoji','Segoe UI Emoji','Segoe UI Symbol';font-weight:400;font-size:0.875rem;line-height:1.43;background-color:transparent;display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;padding:6px 16px;color:rgb(96, 54, 20);background-color:rgb(253, 243, 234);width:100vw;-webkit-box-pack:center;-ms-flex-pack:center;-webkit-justify-content:center;justify-content:center;margin-top:1rem;z-index:9;}.css-1pl9tfm .MuiAlert-icon{color:#ed6c02;}

Limited functionality: Your browser does not support JavaScript.

Software Highlights

Browse all Highlights

All software

1Filter

Order by

Keywords

Program languages

Licenses

Items

1-1 of 1

agda-core

Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language

core language
Dependent Types
type-checking
+ 2

Other
Haskell
YAML
+ 1