Issues - st/amelie - Forge

st/amelie

Search syntax

`assignee:<username>`	Filter by assigned user
`author:<username>`	Filter by the author
`is:all`	All
`is:closed`	Closed
`is:open`	Open
`mentions:<username>`	Filter by mentioned user
`modified:[>\|<]<date>`	Filter by last modified date
`review:<username>`	Filter by user who reviewed
`sort:<by>:[asc\|desc]`	Sort by: `created\|comments\|updated\|deadline`

New issue

Park projection equality

#54 opened 2026-07-27 12:33:10 +02:00 by st

set/map cons syntax

#42 opened 2026-07-07 13:37:53 +02:00 by st

optimize mutually recursive tail calls

#40 opened 2026-07-06 20:08:25 +02:00 by st

lean/rust style if let

#34 opened 2026-07-01 11:28:41 +02:00 by st

Lean 4 receiver syntax

#33 opened 2026-07-01 10:48:23 +02:00 by st

Extend identifier syntax + conventions

#32 opened 2026-07-01 10:47:26 +02:00 by st

row typing for tuples

#29 opened 2026-06-30 14:28:02 +02:00 by st

local/global modality

#28 opened 2026-06-29 15:00:07 +02:00 by st

existentials

#25 opened 2026-06-24 10:52:07 +02:00 by st

interface default methods

#16 opened 2026-06-17 15:01:15 +02:00 by st