Home · Wiki · krr / IDP-Z3 · GitLab

Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

krr
IDP-Z3
Wiki
Home

Last edited by

Simon Vandevelde Aug 22, 2023

Home

Clone repository

Roadmap
Development and deployment guide
Home
IEP 01 Shebang
IEP 02 First Hit policy
IEP 03 Quick syntax changes
IEP 04 Incomplete enumerations
IEP 05 Min and Max aggregate
IEP 06 N ary constructors
IEP 07 Division by 0
IEP 08 'in' operator
IEP 09 Unicode
IEP 10 Naming
IEP 11 single line multi declarations
IEP 12 Function properties