Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
435
reputation
2
24

ice1000

Multilingual developer, Penn State student, programming for interest.

See https://ice1000.org/about/

5
answers
15
questions
~3k
people reached
  • Pennsylvania, USA
  • ice1000.org
  • Member for 1 year, 5 months
  • 31 profile views
  • Last seen Apr 14 at 4:32

Communities (21)

Top Meta Posts
1
0

Top Network Posts

Top Tags (32)

Score 4
Posts 3
Posts % 15
Score 4
Posts 2
Score 4
Posts 2
Score 3
Posts 4
Score 3
Posts 1
Score 3
Posts 1
View all tags →

Top Posts (20) All Questions Answers | Votes Newest

5 What should we return when pattern matching on a Higher Indutive Type and the case is a Path? Jan 20
5 Is there really a $ O(1/n) $ algorithm? Nov 30 '17
4 How was Idris' `rewrite` implemented? Nov 26 '17
4 Why cannot match $ Bool \equiv Bool $ with $ refl $ while $1 \equiv 1$ can? Oct 11 '18
4 How was Idris' `rewrite` implemented? Nov 27 '17
3 Fastest way to search a word in a word list? Apr 7 '18
3 In Agda's GADT, is “parameterized” and “indexed” different semantically? Oct 12 '18
3 What does it mean if we disable K-rule in Agda? Oct 9 '18
3 How can we describe the similarity between trees? Nov 29 '17
3 Can we add dependent type into an existing imperative programming language? Nov 28 '17
View all questions and answers →

Badges (26)

Gold

—

Silver

2

Rarest

Bronze

24

Rarest

View all badges →