Vitaly Bragilevsky bravit

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                bravit
                / keybase.md
            
            
              Created
              April 16, 2015 06:34
            
          
    Keybase proof

I hereby claim:

I am bravit on github.
I am bravit (https://keybase.io/bravit) on keybase.
I have a public key whose fingerprint is E9AA DE2A 361C 668A 8528  F799 F108 4951 C8F7 26E4

To claim this, I am signing this object:

  
## Usage of GHC Extensions
Numbers of packages on Hackage as of November 23, 2016 (10519 packages in total)

4081 Haskell2010
3340 FlexibleInstances
3220 OverloadedStrings
2717 FlexibleContexts
2612 ScopedTypeVariables
2590 CPP
2416 DeriveDataTypeable
2334 MultiParamTypeClasses

## quotes.csv

          
            day
            close
            volume
            open
            high
            low

            
              2017/10/11
              156.5500
              16861450.0000
              155.9700
              156.9800
              155.7500

            
              2017/10/10
              155.9000
              15603520.0000
              156.0550
              158.0000
              155.1000

            
              2017/10/09
              155.8400
              16243080.0000
              155.8100
              156.7300
              155.4850

            
              2017/10/06
              155.3000
              17223790.0000
              154.9700
              155.4900
              154.5600

            
              2017/10/05
              155.3900
              21215870.0000
              154.1800
              155.4400
              154.0500

            
              2017/10/04
              153.4800
              20088940.0000
              153.6300
              153.8600
              152.4600

            
              2017/10/03
              154.4800
              16216800.0000
              154.0100
              155.0900
              153.9100

            
              2017/10/02
              153.8100
              18631540.0000
              154.2600
              154.4500
              152.7200

            
              2017/09/29
              154.1200
              26204670.0000
              153.2100
              154.1300
              152.0000

## GHC Extensions (as of 7.10)
# Syntax Extensions
BangPattern
NPlusKPatterns
PatternGuards, PatternSynonyms, ViewPatterns
LambdaCase, EmptyCase, MultiWayIf
ParallelListComp, ParallelArrays, MonadComprehensions, TransformListComp
RebindableSyntax, NoImplicitPrelude
PostfixOperators
TupleSections
DisambiguateRecordFields, NamedFieldPuns, RecordWildCards, RecordPuns

## Что такое 1 ЗЕТ?
ЗЕТ = зачётная единица трудоёмкости (в просторечии кредит)

1 зачетная единица — это 1 час аудиторных занятий в неделю. Но это не жёсткое правило, потому что
семестры бывают разной длины, а кроме аудиторных занятий есть ещё самостоятельная работа,
и соотношение между ними в бакалавриате должно составлять 50%, но это требование проверяется только
для плана в целом, а для отдельных дисциплин может нарушаться.

Вообще правильнее считать так: 1 ЗЕТ = 36 часов, поэтому курс 5 ЗЕТ с зачетом, к примеру, имеет
размер 180 часов, 180 часов могут делиться пополам — 90 часов аудиторной работы и 90 часов
самостоятельной — тогда это 5 часов в неделю при 18-недельном семестре. Но никто не запрещает

## named_instances.idr
class Foo (a : Type) where
  foo : List a

instance Foo Integer where
  foo = replicate 10 0

instance [ones] Foo Integer where
  foo = replicate 10 1

sum' : Num a => {default %instance i: Foo a} -> a
	Numbers of packages on Hackage as of November 23, 2016 (10519 packages in total)

	4081 Haskell2010
	3340 FlexibleInstances
	3220 OverloadedStrings
	2717 FlexibleContexts
	2612 ScopedTypeVariables
	2590 CPP
	2416 DeriveDataTypeable
	2334 MultiParamTypeClasses
day	close	volume	open	high	low
2017/10/11	156.5500	16861450.0000	155.9700	156.9800	155.7500
2017/10/10	155.9000	15603520.0000	156.0550	158.0000	155.1000
2017/10/09	155.8400	16243080.0000	155.8100	156.7300	155.4850
2017/10/06	155.3000	17223790.0000	154.9700	155.4900	154.5600
2017/10/05	155.3900	21215870.0000	154.1800	155.4400	154.0500
2017/10/04	153.4800	20088940.0000	153.6300	153.8600	152.4600
2017/10/03	154.4800	16216800.0000	154.0100	155.0900	153.9100
2017/10/02	153.8100	18631540.0000	154.2600	154.4500	152.7200
2017/09/29	154.1200	26204670.0000	153.2100	154.1300	152.0000
	# Syntax Extensions
	BangPattern
	NPlusKPatterns
	PatternGuards, PatternSynonyms, ViewPatterns
	LambdaCase, EmptyCase, MultiWayIf
	ParallelListComp, ParallelArrays, MonadComprehensions, TransformListComp
	RebindableSyntax, NoImplicitPrelude
	PostfixOperators
	TupleSections
	DisambiguateRecordFields, NamedFieldPuns, RecordWildCards, RecordPuns
	ЗЕТ = зачётная единица трудоёмкости (в просторечии кредит)

	1 зачетная единица — это 1 час аудиторных занятий в неделю. Но это не жёсткое правило, потому что
	семестры бывают разной длины, а кроме аудиторных занятий есть ещё самостоятельная работа,
	и соотношение между ними в бакалавриате должно составлять 50%, но это требование проверяется только
	для плана в целом, а для отдельных дисциплин может нарушаться.

	Вообще правильнее считать так: 1 ЗЕТ = 36 часов, поэтому курс 5 ЗЕТ с зачетом, к примеру, имеет
	размер 180 часов, 180 часов могут делиться пополам — 90 часов аудиторной работы и 90 часов
	самостоятельной — тогда это 5 часов в неделю при 18-недельном семестре. Но никто не запрещает
	class Foo (a : Type) where
	foo : List a

	instance Foo Integer where
	foo = replicate 10 0

	instance [ones] Foo Integer where
	foo = replicate 10 1

	sum' : Num a => {default %instance i: Foo a} -> a